منابع مشابه
Formalization and Automation of Time-Space Conflict Analysis
With increasing pressure for shorter delivery schedules, space is a critical resource at construction sites. Current industry practice lacks a formalized approach or a tool to help project managers analyze spatial conflicts between activities prior to construction. Consequently, time-space conflicts occur frequently and significantly impact construction processes. Time-space conflicts have thre...
متن کاملthe effects of time planning and task complexity on accuracy of narrative task performance
هدف اصلی این تحقیق بررسی تاثیر برنامه ریزی زمانی، هم چنین افزایش میزان پیچیدگی تکالیف در نظر گرفته شده بصورت همزمان، بر دقت و صحت و پیچیدگی عملکرد نوشتاری زبان آموزان می باشد. بدین منظور، 50 نفر از دانش آموزان دختر در رده ی سنی 16 الی 18 سال به عنوان شرکت کنندگان در این زمینه ی تحقیق در نظر گرفته شدند و به دو گروه آزمایشی و کنترل بصورت اتفاقی تقسیم شدند. اعضای گروه آزمایشی هر دو تکلیف ساده و پی...
Time and Space Complexity Reduction of a Cryptanalysis Algorithm
Binary Decision Diagram (in short BDD) is an efficient data structure which has been used widely in computer science and engineering. BDD-based attack in key stream cryptanalysis is one of the best forms of attack in its category. In this paper, we propose a new key stream attack which is based on ZDD(Zero-suppressed BDD). We show how a ZDD-based key stream attack is more efficient in time and ...
متن کاملTime and Space Complexity Reduction of a Cryptanalysis Algorithm
Binary Decision Diagram (in short BDD) is an efficient data structure which has been used widely in computer science and engineering. BDD-based attack in key stream cryptanalysis is one of the best forms of attack in its category. In this paper, we propose a new key stream attack which is based on ZDD(Zero-suppressed BDD). We show how a ZDD-based key stream attack is more efficient in time and ...
متن کاملA Formalization of Objective and Subjective Time Ontologies
This paper presents a novel formalization of temporal notions and their classification. First, objective and subjective time perceptions are discussed from a philosophical and logical viewpoint. Then, all objective and subjective temporal concept types are identified, based on McTaggart’s Aand B-series and Priorean tense logic, to which temporal events (or propositions) could be mapped. Time on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1998
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s001650050017